：霍兰德在类型论中想要解决三个问题，即类型理论适合谁来使用，怎么使用和在哪种环境下使用。A:对B:错答案: 错5、

点击这里，查看本门网课答案